var timer_id = 0;

function auto_refresh(val) {
	timer_id = setTimeout( "location.reload(true);", (val == null) ? 6000 : val);
}

function stop_refresh() {
	clearTimeout( timer_id );
}